1. Specification and Transformation of Programs :
Author: by Helmut A. Partsch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Software engineering.
Classification :
QA76
.
76
.
D47
B944
1990

